Logic's Hidden States: Unlock Debugging Superpowers with Algebraic Thinking by Arvind Sundararajan
dev.to·4h·
Discuss: DEV
🧮Theorem Provers
Semantic Dictionary Encoding
falvotech.com·2h·
Discuss: Hacker News
🗂️Type Indexing
Compartmentalised Agentic Reasoning for Clinical NLI
arxiv.org·13h
🔍Tokenizers
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·19h·
Discuss: Hacker News, r/programming, r/rust
🧩Constraint Solvers
Balance between refactoring and inheritance in your code
github.com·5h·
Discuss: Hacker News
🧪Compiler Testing
A formal proof of C∞ISRT
bsky.app·1d·
Discuss: r/LessCredibleDefence
♾️Codata Types
Algebraic Types are not Scary
blog.aiono.dev·6h·
Discuss: Lobsters, Hacker News
✅Type Checking
LLM-Generated Rules Engines for LLM Explainability
brain.co·3d·
Discuss: Hacker News
⚡Effect Handlers
AI learns to follow predefined norms through a combination of logic and machine learning
techxplore.com·1h
🧩Constraint Logic
Pre-viva Talk - 02/10/2025
informatics.ed.ac.uk·4h
🧠Semantic Parsing
Probabilistic Reasoning (Bite-size Article)
dev.to·2d·
Discuss: DEV
⚖️Weighted Automata
LLM AGI may reason about its goals and discover misalignments by default
lesswrong.com·2h
🥾Bootstrapping Strategies
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com·13h·
Discuss: Lobsters, Hacker News
🌱Minimal ML
Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
arxiv.org·13h
⏭️Skip Lists
Enhancing Semantic Data Retrieval via Multi-Modal Graph Parsing and Recursive HyperScore Optimization
dev.to·1d·
Discuss: DEV
🗂️Term Indexing
What is Algebraic about Algebraic Effects?
interjectedfuture.com·1h
💫Effect Systems
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·8h
🪢Rope Data Structures
Learn How to Use Transformers with HuggingFace and SpaCy
towardsdatascience.com·3h
📊Pratt Parsers
Effective Software Engineering with Claude Code
reddit.com·4h·
Discuss: r/ClaudeAI
⚡Interpreter Optimization
Pursuing a Trick a Long Way Just to See Where It Goes, with Simon Peyton Jones
popovit.ch·21h·
Discuss: Hacker News
⚡functional programming